Search results for " proof"
showing 10 items of 118 documents
Mediterranean diet and sars-cov-2 infection: Is there any association? a proof-of-concept study
2021
The aim of this observational study was investigating the possible correlation between adherence to the Mediterranean diet (MeD) and SARS-COV-2 infection rates and severity among healthcare professionals (HCPs). An online self-administrated questionnaire (evaluating both MeD adherence and dietary habits) was filled out by HCPs working in Piedmont (Northern Italy) from 15 January to 28 February 2021. Out of the 1206 questionnaires collected, 900 were considered reliable and analyzed. Individuals who reported the SARS-COV-2 infection (n = 148) showed a significantly lower MeD score, with a lower adherence in fruit, vegetables, cereals, and olive oil consumption. In a logistic regression model…
Stability of stationary solutions in models of the Calvin cycle
2017
Abstract In this paper results are obtained concerning the number of positive stationary solutions in simple models of the Calvin cycle of photosynthesis and the stability of these solutions. It is proved that there are open sets of parameters in the model of Zhu et al. (2009) for which there exist two positive stationary solutions. There are never more than two isolated positive stationary solutions but under certain explicit special conditions on the parameters there is a whole continuum of positive stationary solutions. It is also shown that in the set of parameter values for which two isolated positive stationary solutions exist there is an open subset where one of the solutions is asym…
Kollineationen und Schliessungssätze für Ebene Faserungen
1979
Every affine central collineation of a translation plane π induces a special collineation of the projective space π spanned by the spreadF belonging to π. Here the relations between these special collineations of π and certain incidence propositions inF are investigated; so new proofs are given for some characterisations of (A,B)-regular spreads included in [7].
A Lattice-Geometric Proof of Wedderburn’s Theorem
1993
This note presents a proof of Wedderburn’s theorem concerning the classification of semisimple rings within the conceptual frame of projective lattice geometry.
Atomic Decomposition of Weighted Besov Spaces
1996
We find the atomic decomposition of functions in the weighted Besov spaces under certain factorization conditions on the weight. Introduction. After achieving the atomic decomposition of Hardy spaces (see [8,22, 33]), many of the function saces have been shown to admit similar decompositions. Let us mention the decomposition of B.M.O. (see [32, 25]), Bergman spaces (see [9, 23]), the predual of Bloch space (see [ 11]), Besov spaces (see [15, 4, 10]), Lipschitz spaces (see [18]), Triebel-Lizorkin spaces (see [16, 31]),... They are obtained by quite different methods, but there is a unified and beautiful approach to get the decomposition for most of the spaces. This is the use of a formula du…
Causalità e responsabilità contrattuale (tenzone tra un giudice e un professore). Parte II: La causalità materiale e le obbligazioni di facere profes…
2022
Il saggio si articola in due parti. Nella prima vengono affrontate le due fasi del giudizio sulla causalità materiale, soffermandosi, in particolare, sul nodo dell'individuazione delle regole di causalità generale, sul problema sistematico dell'unitarietà o meno della nozione di causalità materiale, anche alla luce della portata degli art. 40 e 41 c.p., e sulla necessità di differenziare le regole probatorie della causalità materiale nel diritto civile rispetto a quelle operanti nel diritto penale. Nella seconda parte viene approfondito il tema controverso dell'autonomo rilievo o meno della causalità materiale nella responsabilità per inadempimento delle obbligazioni di facere professionale…
CITES, wild plants, and opportunities for crime
2017
The illegal trade in endangered plants damages both the environment and localcommunities by threatening and destroying numerous species and important natural resources. There is very little research which systematically addresses this issue by identifying specific opportunities for crime. This article presents the results of an interdisciplinary study which brings together criminological and conservation science expertise to identify criminal opportunities in the illegal wild plant trade and suggest strategies in order to prevent and mitigate the problem. Methodologically, the study adapts a crime proofing of legislation approach to the UN Convention on the International Trade in Endangered…
Are locally finite MV-algebras a variety?
2021
We answer Mundici's problem number 3 (D. Mundici. Advanced {\L}ukasiewicz calculus. Trends in Logic Vol. 35. Springer 2011, p. 235): Is the category of locally finite MV-algebras equivalent to an equational class? We prove: (i) The category of locally finite MV-algebras is not equivalent to any finitary variety. (ii) More is true: the category of locally finite MV-algebras is not equivalent to any finitely-sorted finitary quasi-variety. (iii) The category of locally finite MV-algebras is equivalent to an infinitary variety; with operations of at most countable arity. (iv) The category of locally finite MV-algebras is equivalent to a countably-sorted finitary variety. Our proofs rest upon th…
A simple proof of the polylog counting ability of first-order logic
2007
The counting ability of weak formalisms (e.g., determining the number of 1's in a string of length N ) is of interest as a measure of their expressive power, and also resorts to complexity-theoretic motivations: the more we can count the closer we get to real computing power. The question was investigated in several papers in complexity theory and in weak arithmetic around 1985. In each case, the considered formalism (AC 0 -circuits, first-order logic, Δ 0 ) was shown to be able to count up to a polylogarithmic number. An essential part of the proofs is the construction of a 1-1 mapping from a small subset of {0, ..., N - 1} into a small initial segment. In each case the expressibility of …
The McKay conjecture and Galois automorphisms
2004
The main problem of representation theory of finite groups is to find proofs of several conjectures stating that certain global invariants of a finite group G can be computed locally. The simplest of these conjectures is the ?McKay conjecture? which asserts that the number of irreducible complex characters of G of degree not divisible by p is the same if computed in a p-Sylow normalizer of G. In this paper, we propose a much stronger version of this conjecture which deals with Galois automorphisms. In fact, the same idea can be applied to the celebrated Alperin and Dade conjectures.